#Institute for Advanced Study

OpenAI Posted 722 Math Papers. No Workshop Date.

OpenAI posted 722 manuscripts in 372 families on Oct. 6, under Apache-2.0. Lean checks some proofs. The workshops still have no host and no figure.